ScalarEvolution support for <= and >= loops.