let find_nodes_for_function_contract pdg f_interpret =
let kf = M.get_pdg_kf pdg in
try
let _def = Kernel_function.get_definition kf in
let info = f_interpret kf in
let decl_nodes, data_dpds = zone_info_nodes pdg info in
decl_nodes, data_dpds
with Kernel_function.No_Definition ->
raise (Extlib.NotYetImplemented
"[pdg:find_nodes_for_function_contract] on function declarations")
| Extlib.NotYetImplemented msg ->
raise (Extlib.NotYetImplemented
("[pdg:find_nodes_for_function_contract] to_zone : "^msg))