LARA This is an old revision of the document! Frame Conditions (Modifies Clauses) Example procedure with globals x,y,z which increments x. Meaning of Frame Conditions as Variable Lists Specifying Sets of Locations in Frame Conditions