Member predicate Function::Function::accesses

Holds if this function accesses a function or variable or enumerator a in the Access expression l.

predicate accesses(Declaration a, Locatable l)