*/
public void transformFlowGraph(FlowGraph g) {
diagnostics.afterControlFlow(g);
startPhase("Fixing arrays...");
new ArrayTransformer().run(g); diagnostics.afterArrays(g);
endPhase();
startPhase("Transforming method calls");
new CallTransformer().run(g); diagnostics.afterCalls(g);
endPhase();