Move GlobalVariableAnalysis to CFGFlow/