Predicate MissingVarDecl::candidateVariable

Gets an accidental global in f that is read at least once in reachable code.

This prevents duplication of results between this query and ‘Useless assignment to global variable’.

GlobalVariable candidateVariable(Function f)