Characteristic predicate Instruction :: Instruction
Instruction
(
)