So indentei
Merge branch 'master' of github.com:fllsouto/MAC0219-Metodos-Formais
Merge branch 'master' of github.com:fllsouto/MAC0219-Metodos-Formais
Inclusos métodos para introduzir novas cláusulas para certificar que não podem ser todos 0