Some more debugging code. All good. Also caught bug on last transition of the run, where an assertion failed unreasonably.