Member predicate VariableAccess :: isAddressOfAccess
Holds if this access is used to get the address of the underlying variable
in such a way that the address might escape. This can be either explicit,
for example &x, or implicit, for example T& y = x.
predicate
isAddressOfAccess
(
)