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.

appeared in<not specified>
done in0.31.0
load left0.000
closed by#8c2612f53bf6 fix wrong type analysis with 'NOT identity' (closes #80799)