Characteristic predicate CopyInstruction::CopyInstruction

CopyInstruction()