static TreeSet<S> tlftCISet(S s) {
  ret tlft_ciSet(s);
}