Reports whether any instruction satisfies a predicate.
Program to test.
Predicate applied to each instruction.
true when at least one instruction passes.
true
Reports whether any instruction satisfies a predicate.