add assert_* methods