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