add: delete console._pp_stopLine; 
context: function clearCurrentFrame (){    if (!console.frames)        throw new BadMojo (ERR_NO_STACK);    delete console.stopLine;    delete console.stopFile;    delete console._currentFrameIndex;    console.onFrameChanged (null, 0);}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/64f0128f805d7f7a53819c408a30c765aa23f1fc/venkman-debugger.js/buggy/extensions/venkman/resources/content/venkman-debugger.js