Predicate mayWriteToArray

predicate mayWriteToArray(Expr modified)