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