Test for predicate existence before enumeration