Fix FiniteSet(EmptySet())

fixes #7335