Try-Catch confuses detection of boolean changes (S2589)

Using SonarAnalyzer.CSharp and SonarLint for VS 2019

Shortest reproduction I can manage, not actual use case.

bool blip = false;
	var rnd = new System.Random();
	if (rnd.Next() % 100 > 50) throw new Exception();
	blip = true;
catch { /* Ignore */  }

if (blip) Console.WriteLine("blip");

S2589 is triggered for the last line claiming it’s always true despite the potentially thrown exception causing it to be false.

Possibly affects other data types, but I didn’t test them.

thanks @mkahvi - I added your repro to the existing #2600