corrigido invariante que não passava
ignorado teste não determinístico. precisamos encontrar uma solução definitiva para esse bug de segurança
melhorando mensagem que aparece quando teste está ignorado
adicionados respostas para novos exercícios de if.