add: isPaused = true; 
context: function pause() {    DebuggerDocument.pause();}
meta: 5650	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5650/9b51fc362917476328cd90f7b4173533670328ee/debugger.js/buggy/WebKitTools/Drosera/debugger.js