let
mk_compl_bhv_id (kf,ki,comp) =
mk_prop
PKProp
(
Property
.ip_of_complete kf ki comp)