Testes no pacote SINTATICO: OK