Holds if this function accesses a function or variable or enumerator a
in the Access expression l.
predicate accesses(Declaration a, Locatable l)Holds if this function accesses a function or variable or enumerator a
in the Access expression l.
predicate accesses(Declaration a, Locatable l)