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