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