let zone_info_nodes pdg (list_info, list_info_decl) =
  let data_dpds = ([], Nonein
  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