Fix FiniteSet(EmptySet())

fixes #7335
why?