let separated a1 a2 =
    model_separated (dzone_assigned a1) (dzone_assigned a2)