Flatten branches that have to be checked each loop.