static void replaceToken(L<S> tok, S in, S out) {
    renameToken(tok, in, out);
  }