add simple assert