Track global variables on the variable, allowing to resolve the type more accurately early on