static Set<S> codeTokensAsCISet(LS tok) {
  ret asCISet(codeTokens_lazy(tok));
}