Naive import of multivariate solver [skip_ci]
Replace FiniteSet() -> EmptySet()