check_expr
void check_expr(struct node *np);
check_expr(ret);
check_expr(expr->left);
check_expr(expr->right);