let model_zunion : dzone -> dzone -> dzone = F.e_app2 "zunion"