Predicate mayWriteToCollection

predicate mayWriteToCollection(Expr modified)