Predicate DefaultArgumentReferencesNestedFunction::accessToNestedFunction

Holds if va references function inner, which is nested inside function outer.

predicate accessToNestedFunction(VarAccess va, FunctionDeclStmt inner, Function outer)