Symbol: constraint_expr_eval