Add an assertion.