let
mk_disj_bhv_id l = mk_prop
PKProp
(
Property
.
IPDisjoint
l)