Fixed the interlevel transition, which can now convert all the examples. The insiel example still has one errors, which is the parameter x I have added for debugging. We need to put the state machine inside a block, but artisan does not allow dropping the state machine in a block.