That's an error: you end up with an inconsistent Internal Representation. The good patch (not relevant to your commit though) is to detect when such an empty set is generated and replace it by a call to ``__builtin__.set()``