let get_all_nodes state =
  let add _z (_def, nodes) acc = NodeSetLattice.join acc nodes in
  let node_set =
    try LocInfo.fold add state.loc_info NodeSetLattice.empty
    with LocInfo.Cannot_fold -> raise Cannot_fold
  in
  NodeSetLattice.fold (fun n acc -> (n,None)::acc) node_set []