{
this.optionPrintDebug = optionPrintDebug;
this.optionRepairDeadlock = optionRepairDeadlock;
this.optionAllowSelfEdges = optionAllowSelfEdges && !optionRepairDeadlock; // can only do this if not repairing
this.criticalSections = criticalSections;
this.tt = new TransitiveTargets(Scene.v().getCallGraph(), new Filter(new CriticalSectionVisibleEdgesPred(null)));
}