let mk_pre_id kf ki b p =
  mk_predicate_id (Property.PKRequires b,kf,ki,p)