Symbol: constraint_expr