Predicate definitions::propertyLookup

Holds if prop is the property name expression of a property read that may read the property written by write. Furthermore, write must be the only such property write. Parameter kind is always bound to "M" at the moment.

predicate propertyLookup(Expr prop, ASTNode write, string kind)