Prior to fixing 'double move' error.

As of now, we sometimes have that a history is moved *twice* in the
determinization step. We need for this *not* to happen. See around line
632 of transCSSR.py, *before* the modifications I am about to make.