Support depth-limited description for predicate
Simplify sets, add some predicate methods to OptimizedPredicateSet