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