Halmos enviou testes invariantes, tivemos que enviar uma maneira de converter automaticamente os contra-exemplos Halmos em repositórios de fundição. Isso funciona para testes sem estado e com estado (com sabor de quimera). Se você usa o aplicativo Create Chimera ou a extensão Recon, isso funciona imediatamente!