The following code crashes when translated:
sequence s = { {{1}}, {1} } + 1
s = s[1][1]
? s[1] -- should be 2
The RHS subscript (s[1][1]) causes s to be dereferenced and freed before the assignment is made.
Fixed RHS_SUBS translation so that the dereferencing is done after the assignment is made.