Teste baseado em propriedades enumerativas
