Class PredicateTraversal<S>