Characteristic predicate SideEffectInstruction::SideEffectInstruction

SideEffectInstruction()