Fix for test case:
begin(T1)
fail(1);fail(2);fail(3);fail(4);fail(5)
W(T1,x2,21)
end(T1)
fail(6);fail(7);fail(8);fail(9);fail(10)
recover(1);recover(2);recover(3);recover(4);recover(5)
beginRO(T2)
R(T2,x2)
end(T2)