let find_fun_precond_nodes (pdg:Pdg.t) p =
let named_p = { name = []; loc = Location.unknown; content = p } in
let f_interpret kf =
let f_ctx = !Db.Properties.Interp.To_zone.mk_ctx_func_contrat
~state_opt:(Some true) kf in
!Db.Properties.Interp.To_zone.from_pred named_p f_ctx
in find_nodes_for_function_contract pdg f_interpret