Trace("dt-conflict")
<< "CONFLICT: Tester merge eq conflict : " << conf << std::endl;
d_im.sendDtConflict(conf, InferId::TESTER_CONFLICT);
Trace("dt-conflict")
<< "CONFLICT: Tester merge eq conflict : " << conf << std::endl;
d_im.sendDtConflict(conf, InferId::TESTER_CONFLICT);