Common use of Verify Module Clause in Contracts