Tell ScalarEvolution to forget everything it knows about a loop before