* LoopInfo now keeps track of exit blocks from the loop