using System;
using System.Diagnostics;
using Microsoft.VisualStudio.TestTools.UnitTesting;
#nullable enable
class AssertTests
{
    void M1(bool b)
    {
        string s = b ? null : "";
        Debug.Assert(s != null);
        Console.WriteLine(s.Length);
    }

    void M2(bool b)
    {
        string s = b ? null : "";
        Assert.IsNull(s);
        Console.WriteLine(s.Length);
    }

    void M3(bool b)
    {
        string s = b ? null : "";
        Assert.IsNotNull(s);
        Console.WriteLine(s.Length);
    }

    void M4(bool b)
    {
        string s = b ? null : "";
        Assert.IsTrue(s == null);
        Console.WriteLine(s.Length);
    }

    void M5(bool b)
    {
        string s = b ? null : "";
        Assert.IsTrue(s != null);
        Console.WriteLine(s.Length);
    }

    void M6(bool b)
    {
        string s = b ? null : "";
        Assert.IsFalse(s != null);
        Console.WriteLine(s.Length);
    }

    void M7(bool b)
    {
        string s = b ? null : "";
        Assert.IsFalse(s == null);
        Console.WriteLine(s.Length);
    }

    void M8(bool b)
    {
        string s = b ? null : "";
        Assert.IsTrue(s != null && b);
        Console.WriteLine(s.Length);
    }

    void M9(bool b)
    {
        string s = b ? null : "";
        Assert.IsFalse(s == null || b);
        Console.WriteLine(s.Length);
    }

    void M10(bool b)
    {
        string s = b ? null : "";
        Assert.IsTrue(s == null && b);
        Console.WriteLine(s.Length);
    }

    void M11(bool b)
    {
        string s = b ? null : "";
        Assert.IsFalse(s != null || b);
        Console.WriteLine(s.Length);
    }

    private void AssertTrueFalse(
           [System.Diagnostics.CodeAnalysis.DoesNotReturnIf(false)] bool condition1,
           [System.Diagnostics.CodeAnalysis.DoesNotReturnIf(true)] bool condition2,
           bool nonCondition)
    {
    }

    bool M12(bool b1, bool b2)
    {
        AssertTrueFalse(b1, b2, b2);
        return b1 && !b2;
    }
}

// semmle-extractor-options: ${testdir}/../../../resources/stubs/Microsoft.VisualStudio.TestTools.UnitTesting.cs