Member predicate Expr::PropAccess::accesses

Holds if this property name accesses property p on expression base.

predicate accesses(Expr base, string p)