optionPrintDebug = PhaseOptions.getBoolean( options, "print-debug" );
// optionIncludeEmptyPossibleEdges = PhaseOptions.getBoolean( options, "include-empty-edges" ); // not a real option yet
// *** Build May Happen In Parallel Info ***
MhpTester mhp = null;
if(optionDoMHP && Scene.v().getPointsToAnalysis() instanceof PAG)
{
G.v().out.println("[wjtp.tn] *** Build May-Happen-in-Parallel Info *** " + (new Date()));
mhp = new SynchObliviousMhpAnalysis();
if(optionPrintMhpSummary)
{
mhp.printMhpSummary();
}
}