Avoid assert_greater_equal