Correção CST e AST da função READ