Characteristic predicate Instruction::Instruction

Instruction()