Avoiding recomputing modifies clauses.