let
mk_compl_bhv_id l = mk_prop
PKProp
(
Property
.
IPComplete
l)