Modified InterpreterMonitor for uscxml-debugger