public new ContextualOperand PostDecrement() { return OperandExtensions.SetLeakedState(new ContextualOperand(base.PostDecrement(), TypeMapper), true); }