svoid clearTokens_addToReToksOrReTok(LS tok, int i, int j, L<IntRange> reToks) {
  if (j <= i) ret;
  clearAllTokens(tok, i, j);
  if (reToks == null) reTok(tok, i, j);
  else reToks.add(intRange(i, j));
}