Add a properlyDominates member function to ScalarEvolution.