análise semântica concluída, com todos os testes dando OK