Formal verification: Add a rule for enabling modules

[mmv08]

This PR:

• adds a rule that checks that the module can only be added through enableModule

[coveralls]

Pull Request Test Coverage Report for Build 5609382544

• 0 of 0 changed or added relevant lines in 0 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage remained the same at 95.382%

---

Totals
Change from base Build 5599825138:	0.0%
Covered Lines:	318
Relevant Lines:	330

---

💛 - Coveralls