Renamed fullchar_tokenizer() to more clear infix_tokenizer()