Member predicate Variables::Variable::declaredIn

Holds if there is a declaration of this variable in tl.

predicate declaredIn(TopLevel tl)