Another refactoring of the contract expressions: removed contract statements from Assertion module.