add buildCGStatesSCC() in CGAutomaton, which fill CGAutoState another four new fileds, helping handle SCC when annotating call graph automata.