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