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