get_implied_min
if (get_implied_min(arg, &sval))
if (start_arg && get_implied_min(start_arg, &tmp) && !sval_is_negative(tmp))
if (!get_implied_min(expr, &sval) || sval.value < 0)
int get_implied_min(struct expression *expr, sval_t *sval);
if (!get_implied_min(r_right, &min) || min.value <= 1)
if (!get_implied_min(condition->right, &end))
if (!use_max && get_implied_min(arg, &tmp)) {