value flow: added bailouts for global variables and assignments