svoid clearTokens_addToReToks(LS tok, int i, int j, L<IntRange> reToks) {
  if (j <= i) ret;
  clearAllTokens(tok);
  reToks.add(intrange(i, j));
}