On two-variable guarded fragment logic with expressive local Presburger constraints (Logical Methods in Computer Science, 2024)