More work on uscxml debugger