Member predicate ArrayExpr::isModified

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