startPhase("Removing unreachable statements...");
new UnreachableTransformer().run(g); diagnostics.afterUnreachable(g);
endPhase();
startPhase("Linking fields...");
new FieldTransformer().run(g);
endPhase();
/*startPhase("Removing dead nodes...");
new IgnoreDeadTransformer().run(g); diagnostics.afterDead(g);
endPhase();*/