let find_nodes_for_function_contract pdg f_interpret =
  let kf = M.get_pdg_kf pdg in
  let (data_info, decl_info) = f_interpret kf in
  let data_dpds = zone_info_nodes pdg data_info in
  let decl_nodes = get_decl_nodes pdg decl_info in
    decl_nodes, data_dpds