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