Member predicate DataFlow::DataFlow::PropRef::accesses

Holds if this data flow node accesses property p on base node base.

predicate accesses(Node base, string p)