Member predicate Variable :: declaredIn
Holds if there is a declaration of this variable in tl
.
predicate
declaredIn
(
TopLevel
tl
)