Tokenization: improve readiablity of AutomatonTokenizer sacrificing some performance