Add an assert