let
separated _m z1 z2 =
Tint
.xzone_disj (xzone_assigned z1) (xzone_assigned z2)