py: frozenset() creates an empty frozenset.