(almost) keeps track of modifies clauses