https://github.com/Superty approved this pull request. I can't reproduce the speedup but I see no slowdown so I'm happy to approve this from the Presburger side https://github.com/llvm/llvm-project/pull/97831