Halmos envió pruebas invariantes, tuvimos que enviar una forma de convertir automáticamente los contraejemplos de Halmos en repositorios de fundición. Esto funciona tanto para pruebas sin estado como con estado (sabor a quimera). Si usa la aplicación Create Chimera o la extensión Recon, ¡esto funciona de inmediato!