add: else { this.ignoredPaths[path] = true; }  
context:     ignorePath: function(path) {        var i, len;        for (i = 0, len = path.length; i < len; i++) {            this.ignoredPaths[path[i]] = true;        }    },
meta: 1103	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1103/941e4ac1644ee0aaa005566b5d6b27696673f84a/cor.js/buggy/dist/cor.js