Grande lançamento para a Extensão de Reconhecimento, que agora também pode quebrar invariantes com Halmos. Mesmo código mais poder!