unreachableInGraph :: Graph -> [Stmt (Int, SourcePos)]
unreachableInGraph gr = map lab (S.toList nodes)
  where nodes = (S.fromList $ G.nodes gr) `S.difference` 
                (S.fromList $ bfs (fst $ G.nodeRange gr) gr)
        lab node = case G.lab gr node of
          Just s -> s
          Nothing -> error "unreachableInGraph: node without a statement"
unreachableInGraph :: Graph -> [Stmt (Int, SourcePos)]
unreachableInGraph gr = map lab (S.toList nodes)
  where nodes = (S.fromList $ G.nodes gr) `S.difference` 
                (S.fromList $ bfs (fst $ G.nodeRange gr) gr)
        lab node = case G.lab gr node of
          Just s -> s
          Nothing -> error "unreachableInGraph: node without a statement"
unreachableInGraph gr = map lab (S.toList nodes)
  where nodes = (S.fromList $ G.nodes gr) `S.difference` 
                (S.fromList $ bfs (fst $ G.nodeRange gr) gr)
        lab node = case G.lab gr node of
          Just s -> s
          Nothing -> error "unreachableInGraph: node without a statement"