Assertion with contracts added