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