The bug appeared when some shared variable was updated with itself, the
values of update expressions would be assigned to incorrect shared
variables.