Make pretty printing sets compatible with pretty printing event sets.
Fix a bug in the compression of sets.