Predicate MissingVarDecl::undeclaredGlobalIn

Gets an undeclared global in f, that is, a global variable that is accessed in f, but not declared in the same toplevel as f.

GlobalVariable undeclaredGlobalIn(Function f)