Tokenization: add PositionCounter