A long range check is only transformed into an int range check subject to range check elimination if:

- the counted loop goes upward
- the scale factor for the element being accessed is positive

All combination of:
(upward loop, downward loop) x (positive scale, negative scale)
should be supported.