Fixed EOF handling in SExprParser.state_symbol