Testes no pacote AST: OK