do Graph emptyEntrance blocks <- f emptyGraph
note_this_code_becomes_unreachable "outOfLine" (ppr tail') emptyEntrance
return $ Graph tail' (blocks `plusBlockEnv` blocks')
do Graph emptyEntrance blocks <- f emptyGraph
note_this_code_becomes_unreachable "outOfLine" (ppr tail') emptyEntrance
return $ Graph tail' (blocks `plusBlockEnv` blocks')