static void addToStringTree(StringTree1 tree, L<S> tok) {
  if (empty(tok)) { tree.leaf = true; ret; }
  S s = first(tok);
  StringTree1 t = tree.getOrAdd(s);
  addToStringTree(t, dropFirst(tok));
}