Fixed bug where loop headers join acyclic control flow