AE: make sure that the we produce no deadlocks when scheduled away
t1 sets reset() and it gets scheduled to t2 which could already be there in a wait() so that one gets blocked forever in a wait and now we would need a third thread that unblocks us