MultipleDependencyGraphRecorder dependencyRecorder) {
dependencyRecorder.startDependencyGraph("initial", null);
ControlFlowAnalyzer cfa = new ControlFlowAnalyzer(jprogram);
cfa.setDependencyRecorder(dependencyRecorder);
cfa.traverseEntryMethods();
computeLivenessFromCodeGenTypes(jprogram, cfa);
dependencyRecorder.endDependencyGraph();
return cfa;
}