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 []