Fixed infix_tokenizer()