The analyzer should trust property_exists control statements.
Thanks!
AnthonyANI good point, working on it.
JakubMisek The latest update handles this case, thank you for the suggestion!