ScalarEvolution: Analyze trip count of loops with a switch guarding the exit.