Characteristic predicate ReturnVoidInstruction::ReturnVoidInstruction

ReturnVoidInstruction()