Fix S2583/S2589 FN: try-catch in loop, LVA purges symbol prematurely

[Tim-Pohlmann]

void Test(bool condition1, bool condition2)
{
    var success = false;
    Exception exception = null;
    int retries = 0;
    while (!success && retries < 5) // Noncompliant TP
    {
        exception = null;
        try
        {
            Console.WriteLine();
            success = true;
        }
        catch (Exception e)
        {
            exception = e;
        }
    }
    if (exception != null)  // FN!
    {
        Console.WriteLine(exception);
    }
    Console.WriteLine(success);
}

The SymbolicValue for success gets lost when entering the try-block.