Symbol: check_expr