Rename eofPosition -> posAfterCurrentToken