The analyzer should trust property_exists control statements.
Thanks!
AnthonyANI good point, working on it.