fixed very well hidden bug related to loop control flow graph construction