let zone_info_nodes pdg (list_info, list_info_decl) =
let data_dpds = ([], None) in
let data_dpds = List.fold_left (add_info_nodes pdg) data_dpds list_info in
let add_decl_nodes decl_var nodes_acc =
let node = !Db.Pdg.find_decl_var_node pdg decl_var in
node::nodes_acc
in
let decl_nodes = VarinfoSet.fold add_decl_nodes list_info_decl [] in
decl_nodes, data_dpds