The analyzer should trust property_exists control statements.

Thanks!

3 months later

JakubMisek The latest update handles this case, thank you for the suggestion!

    Write a Reply...