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 -> (* TODO ! *)
    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))