[SCEV] Exploit A < B => (A+K) < (B+K) when possible