New criticalset predicate