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