Fill in some holes in ScalarEvolution's loop iteration condition