Characteristic predicate Instruction::BufferMayWriteSideEffectInstruction::BufferMayWriteSideEffectInstruction

BufferMayWriteSideEffectInstruction()