Predicate AV Rule 201::loopModification

predicate loopModification(ForStmt for, Variable loopVariable, VariableAccess acc)