Use more general assert.