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