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