//add an edge to the intermediate graph.
if(intermediateGraph.containsEdge(predIntermediate, nodeIntermediate)) {
continue;
}
intermediateGraph.addEdge(predIntermediate, nodeIntermediate, (IntermediateEdge)insEdge.clone());
}
for(InstructionHandle successor : successors) {
//find it's AbstractIntermediate.
AbstractIntermediate successorIntermediate = nodeMapping.get(successor);