add an assertion