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