rem: return (this.score==MOD3_MAX_SCORE); 
add: if(this.stock.hasChildNodes()) return false; const ps = this.piles; for(var i = 0; i != 8; i++) if(ps[i].hasChildNodes()) return false return true; 
context:   hasBeenWon: function() {    return (this.score==MOD3_MAX_SCORE);  },
meta: 3385	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3385/05e21043701a5724e2c4368f9cf23b22050e0bda/mod3.js/buggy/mod3.js