let
mk_predicate_id p = mk_prop
PKProp
(
Property
.
IPPredicate
p)