add: c.depth = this.contexts.length - 1; 
context:     newContext: function(c) {        var pc = null;        if (!c) {            c = new yy.Context();            pc = this.context();            if (pc) {                c.parent = pc;            }        }        this.contexts.push(c);        return c;    },
meta: 1103	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1103/6d99411bee725d0970a47e92d948417ea33e9d32/cor.js/buggy/dist/cor.js