Predicate IteratorRemoveMayFail::containsSpecialCollection

predicate containsSpecialCollection(Expr e, SpecialCollectionCreation origin)