Change analyses to support globals
Make top level variables globals

Also fix NormalizeMethodCalls