let mk_pre_id kf ki b p =
  mk_prop PKProp (Property.ip_of_requires kf ki b p)