Predicate definitions::variableDefLookup

Holds if va is of kind kind and def is the unique class, function or object literal it refers to.

predicate variableDefLookup(VarAccess va, ASTNode def, string kind)