fixed another well hidden bug in the control flow graph construction