add processGlobal in FlowSensitiveAliasAnalysis.cpp