[WIP]Fix FiniteSet(EmptySet())

fixes #7335