Predicate definitions::variableDeclLookup

Holds if variable access va is of kind kind and refers to the variable declaration.

For example, in the statement var x = 42, y = x;, the initializing expression of y is a variable access x of kind "V" that refers to the declaration x = 42.

predicate variableDeclLookup(VarAccess va, VarDecl decl, string kind)