rql #80799 Wrong type analysis with NOT X identity Y [validation pending]

Considering the following possible relations:

Person located_in City
Company located_in City

and the following rql query Any X WHERE X located_in C, P is Person, NOT X identity P, the analyzer will see that P is a Person and because of the special nature of the identity relation, it will assume that X is also a Person and won't consider the X is Company case.