Updated SynchObliviousMhpAnalysis in order to work using the new SootThreadGroup