Characteristic predicate CollectionExpr :: CollectionExpr
CollectionExpr
(
)