Member predicate AttrRef::accesses

Holds if this data flow node accesses attribute named attrName on object object.

predicate accesses(Node object, string attrName)