Update testedominio.sml

Testes das Funcoes de Estado