can_overflow
uncapped += can_overflow(expr->left);
uncapped += can_overflow(expr->right);
if (!can_overflow(size_expr))