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