sval_binop
sval = sval_binop(bits, SPECIAL_LEFTSHIFT, shifter);
sval_t sval_binop(sval_t left, int op, sval_t right);
min = sval_binop(left_min, '+', right_min);
limit = sval_binop(estate_max(sm->state), '+',
limit = sval_binop(estate_min(sm->state), '-',
res = sval_binop(lmax, op, rmax);
tmp = sval_binop(rl_min(left_rl), '-', rl_max(right_rl));
tmp = sval_binop(rl_max(left_rl), '-', rl_min(right_rl));
sval = sval_binop(left, '%', right);
min = sval_binop(min, SPECIAL_RIGHTSHIFT, rl_max(right_rl));
max = sval_binop(max, SPECIAL_RIGHTSHIFT, rl_min(right_rl));
*res = sval_binop(left, expr->op, right);
res = sval_binop(left_drange->min, op, right_drange->min);
min = sval_binop(rl_min(left_rl), expr->op, rl_min(right_rl));
max = sval_binop(rl_max(left_rl), expr->op, rl_max(right_rl));
max = sval_binop(rl_max(left), '/', right_min);
min = sval_binop(rl_min(left), '/', right_max);
res = sval_binop(l_sval, op, r_sval);
min = sval_binop(rl_min(left), op, rl_min(right));
max = sval_binop(rl_max(left), op, rl_max(right));
tmp = sval_binop(rl_min(left_rl), '-', rl_max(right_rl));
tmp = sval_binop(rl_max(left_rl), '-', rl_min(right_rl));
min = sval_binop(min, SPECIAL_LEFTSHIFT, shift);
max = sval_binop(max, SPECIAL_LEFTSHIFT, shift);
min = sval_binop(tmp->min, SPECIAL_RIGHTSHIFT, shift);
max = sval_binop(tmp->max, SPECIAL_RIGHTSHIFT, shift);
sval_t val = sval_binop(left_sval, op, right_sval);
ret = sval_binop(ret, '-', tmp);
ret = sval_binop(ret, '+', tmp);
if (sval_cmp(left, sval_binop(max, invert_op(op), right)) > 0)