Changed custom assertion to a contract test.