tests for TreeSet, clarify semantics of MutableSet.add()