assert conditions for test