Do not return duplicate tokens from default_tokenizer() and infix_tokenizer()