Predicate ExposeRepresentation::mayWriteToCollection

predicate mayWriteToCollection(Expr modified)