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