Predicate ExposeRepresentation::mayWriteToArray

predicate mayWriteToArray(Expr modified)