putting all together, visit callgraph in a correct way.
resolve conflict