reportTime( "Pointer Graph simplified", startSimplify, endSimplify );
if( opts.force_gc() ) doGC();
// Dump pag
PAGDumper dumper = null;
if( opts.dump_pag() || opts.dump_solution() ) {
dumper = new PAGDumper( pag, output_dir );
}
if( opts.dump_pag() ) dumper.dump();
// Propagate