value flow: stop checking global variable when going out of function scope