Adding test to make sure loop branches are distinct.