Don't ignore switch exits that are also loop exits#974

Nadrieril wants to merge 3 commits intoAeneasVerif:mainAeneasVerif/charon:mainfrom

Nadrieril:tweak-switch-exitsNadrieril/charon:tweak-switch-exitsCopy head branch name to clipboard