We may want a countIf(Predicate) constraint collector. Works just as count(), except it only counts if the predicate matches.

Another possible implementation would be a generic conditional(ConstraintCollector, Predicate) collector, which delegates to the nested collector. (Eg. conditionally(count(), predicate).)