587,589d586
< if (threads == end)
< return false;
<
593,594c590,591
< if (!hasStoresToWB(tid))
< return false;
---
> if (hasStoresToWB(tid))
> return true;
597c594
< return true;
---
> return false;
610,611c607,608
< if (!willWB(tid))
< return false;
---
> if (willWB(tid))
> return true;
614c611
< return true;
---
> return false;