Member predicate VariableAccess::isModified

Holds if this variable access is in a position where it is (directly) modified, for instance by an assignment or increment/decrement operator.