Adding analysis of global variables.