add basic assert