CompactTreeSet [probably OK]