let model_separated : dzone -> dzone -> F.pred = D.p_app2 "separated"