Isn't this a problematic idea? If you flush down herbicide without checking the results, you would risk breeding herbicide resistance in the weeds.
assert(arr_len > 5);
if (arr_len <= 5) {
// do something
}
They just assume that the assertion holds and hope that some thing would crash later and provide info for debugging if it didn't.