This pass simplifies conditionals whose results are implied by a previous conditional test.
Details and Notes
An additional test will sometimes eliminate the overflow test when adding or subtracting 1. In particular, it will eliminate it in the following cases:
if x < y then ... x + 1 ... else ... y - 1 ...