(almost) keeps track of modifies clauses

(that is, the set of variables to which a command assigns)