add: --console._stopLevel; 
context: function step (){    console.jsds.interruptHook = console._executionHook;    var topFrame = console.frames[0];    console._stepPast = topFrame.script.fileName + topFrame.line;    disableDebugCommands()    console.jsds.exitNestedEventLoop();}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/450435a635bed2c6554fd1e6025bf46679a062fa/venkman-static.js/buggy/extensions/venkman/resources/content/venkman-static.js