let all_nodes (graph : graph) : nodeid list =
  let handle_node x _ acc =
      if !Options.debug || not (String.get x 0 = '_'then
        x::acc
      else acc in
    Hashtbl.fold handle_node graph []