+#ifdef TSO
+ //Have to cover the same thread case
+ Constraint *conflictbeforeload;
+ if (conflictstore->getEP()->get_tid()==load->getEP()->get_tid()) {
+ if (conflictstore->getEP()->compare(load->getEP())==CR_AFTER)
+ conflictbeforeload=&ctrue;
+ else
+ conflictbeforeload=&cfalse;
+ } else {
+ conflictbeforeload=cg->getOrderConstraint(conflictstore, load);
+ }