rem: if(Game.done(false)) return; 
context: function done() {  if(Game.done(false)) return;  const act = Game.autoplay();  if(act) {    doo(act);  } else {    if(gFloatingPileNeedsHiding) gFloatingPile.hide();    if(Game.isWon()) showGameWon();  }}
meta: 3385	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3385/9619925f65b7ebbd76a38034dbe7185d6e40422b/main.js/buggy/code/main.js