Global stores and transactions are working. Definately leaks memory on retries. Probably a fair number of bugs to work out. However, a basic test program works.

B = R(A, L(B, R(C,D)))
C = R(B, R(C, D))
X = L(X, L(A, L(B, R(C,D))))
A = L(X, L(A, L(B, R(C,D))))
E = L(E, L(C, D))
D = R(E, L(C, D))