let
mk_disj_bhv_id (kf,ki,disj) =
mk_prop
PKProp
(
Property
.ip_of_disjoint kf ki disj)