Generalize ScalarEvolution's PHI analysis to handle loops that don't