Keeps only the instructions a predicate accepts.
Program to filter.
Returns true for instructions to keep.
true
A new program; the input is left untouched.
Keeps only the instructions a predicate accepts.