TF_UPDATE_TXN
if ((t1->flags & t2->flags & (TF_ONE_WAY | TF_UPDATE_TXN)) !=
(TF_ONE_WAY | TF_UPDATE_TXN) || !t1->to_proc || !t2->to_proc)
if ((t->flags & TF_UPDATE_TXN) && frozen) {