Gran lanzamiento para la extensión de reconocimiento que ahora también puede romper invariantes con Halmos. ¡El mismo código, más poder!