sclass CISet_es extends TreeSet<ES> {
  *() { super(betterCIComparator_es()); }
}