static TreeSet<S> tlftj_asCISet(S s) {
  ret asCISet(tlftj(s));
}