Reports whether every instruction satisfies a predicate.
Program to test.
Predicate applied to each instruction.
true when all instructions pass, including for empty programs.
true
Reports whether every instruction satisfies a predicate.