static TreeSet<S> caseInsensitiveSet_subclass() {
  ret new CISet;
}

static TreeSet<S> caseInsensitiveSet_subclass(Collection<S> c) {
  ret toCaseInsensitiveSet(c);
}