Make Parser.tokenize() private