Specification testing for Tokenizer