Add an assertion