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