Make ScalarEvolution::isLoopGuardedByCond work even when the edge