Characteristic predicate StoreInstruction::StoreInstruction

StoreInstruction()