Definite assignment with unreachable code

DefiniteAssignment.cs

class Program
{
    static void Main(string[] args)
    {
        int x;
        if (false && x == 3) // 恒偽定数式の後ろの、ショートサーキット演算に続く式は絶対に到達できない
        {
            x = x + 1;
        }
    }
}