Only consider switch exits within the same loop as the switch entry#977

Nadrieril merged 4 commits intoAeneasVerif:mainAeneasVerif/charon:mainfrom

Nadrieril:improve-exit-heuristicsNadrieril/charon:improve-exit-heuristicsCopy head branch name to clipboard