refinement on both callgraph and inter automaton. need more test.