public string Value { get; private set; }
private void Foo()
{
string value = null;
if (Value != null) // Branching on Value
{
value = "";
}
if (Value != null) // Both branches enter here because PropertyReference is not learning from TrackedSymbol
{
Console.WriteLine(value.Length); // Noncompliant FP
}
}