Location warning due to overly long argument due to proof bisection
Proof bisection introduces a "remove" transformation in the proof session. It has an argument that lists all the useless symbols. This list can contain hundreds of symbols and thus exceeds 4096 characters. In turn, this causes Why3 to spew warnings in the IDE or when replaying sessions, e.g.,
$ bin/why3 replay --merging-only -L examples/multiprecision/ examples/multiprecision/mpz_set_str
Warning: Loc.user_position: end char number `4098` overflows on next line
We should not warn about things that are out of the control of the user.