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