gistfile1.hs

 (lblX, SIf cond lblY) <- ifP
  body1 <- untilLabel lblY
  case lastMay body1 of

    -- if with else (body1 ends in GOTO)
    Just (_, SGoto lblZ) -> do
      body2 <- untilLabel lblZ
      return [(lblX, SIfElse cond body2 (init body1))]

    -- if with no else
    _ -> return [lblX, SIfElse cond [] body1)]