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