Characteristic predicate DivInstruction::DivInstruction

DivInstruction()