Characteristic predicate Instruction::Instruction::Instruction

Instruction()