StateRecorder Node1 StateRecorder + act() + checkAbort()