Symbol: constraint_expr_destroy