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
  let nodes = NodeSetLattice.fold (fun n acc -> (n,None)::acc) node_set [] in
    nodes