rewrite unused predicate Unchanged