sclass CISet extends TreeSet<S> {
  *() { super(ciComparator()); }
]