Implement a TODO: Enhance loopinfo to merge away the unconditional branch