replace ck_assert_int_gt