Program program = Program.createProgram(arch);
program.loadMainModule(peFile);
program.installHarness(new DefaultHarness());
ControlFlowReconstruction cfr = new ControlFlowReconstruction(program);
cfr.run();
assertEquals(numInstructions, program.getAssemblyMap().size());
assertEquals(numStatements, program.getStatements().size());
assertTrue("Not enough edges!", numEdges <= program.getCFA().size());
if (checkCompleteness)