static void replaceTokens_reTok(L<S> tok, int i, int j, S s) {
  replaceTokens(tok, i, j, s);
  reTok(tok, i, j);
}