Fix for the following scenario:
begin(T1)
R(T1, x1)
begin(T2)
R(T2, x1)
W(T1, x1, 11)
end(T2)
end(T1)