let mk_call_pre_id called_kf bhv s_call called_pre =
(* TODOclean : quite dirty here ! *)
let id = WpPropId.mk_pre_id called_kf Kglobal bhv called_pre in
let called_pre = WpPropId.property_of_id id in
setup_precondition_proxy called_kf called_pre ;
let called_pre_p = PreCondAt.property called_pre s_call in
WpPropId.mk_call_pre_id called_kf s_call called_pre called_pre_p