Predicate MissingVarDecl::accidentalGlobalIn

Gets an accidental global in f, that is, an undeclared global in f that is not live at the entry of f, meaning that it is always written before being read the first time.

GlobalVariable accidentalGlobalIn(Function f)