unreachableStatements :: ([(Id, SourcePos)], [Stmt SourcePos])
                      -> [SourcePos]
unreachableStatements anf = map (snd.label) unreachableInANF
  where unreachableInANF = concatMap unreachableInGraph graphs
        (_, tree) = allIntraproceduralGraphs anf
        graphs = map (\(_, _, gr) -> gr) (flatten tree)
unreachableStatements :: ([(Id, SourcePos)], [Stmt SourcePos])
                      -> [SourcePos]
unreachableStatements anf = map (snd.label) unreachableInANF
  where unreachableInANF = concatMap unreachableInGraph graphs
        (_, tree) = allIntraproceduralGraphs anf
        graphs = map (\(_, _, gr) -> gr) (flatten tree)
unreachableStatements anf = map (snd.label) unreachableInANF
  where unreachableInANF = concatMap unreachableInGraph graphs
        (_, tree) = allIntraproceduralGraphs anf
        graphs = map (\(_, _, gr) -> gr) (flatten tree)