+Scene.v().getReachableMethods().size() );
}
if( opts.set_mass() ) findSetMass( pag );
if( opts.dump_answer() ) new ReachingTypeDumper( pag, output_dir ).dump();
if( opts.dump_solution() ) dumper.dumpPointsToSets();
if( opts.dump_html() ) new PAG2HTML( pag, output_dir ).dump();
Scene.v().setPointsToAnalysis( pag );
if( opts.add_tags() ) {
addTags( pag );