rem:  if(this.redealsRemaining==0) gCmdRedeal.setAttribute("disabled","true"); 
context:   redo: function() {    const acts = this.actionList;    const action = acts[this.actionPtr];    const ptr = ++this.actionPtr;    this.canUndo = true;    this.canRedo = acts.length > ptr;    gScoreDisplay.value = this.score += action.score;    this.hintsReady = false;    if(action.redo) action.redo();    else action.perform();    const cs = action.revealedCards;    for(var i = 0; i != cs.length; ++i) cs[i].setFaceUp(true);    if(this.redealsRemaining==0) gCmdRedeal.setAttribute("disabled","true");  },
meta: 3385	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3385/843c04869efd294331cd6dbe024e0911281167e9/lib-game.js/buggy/code/lib-game.js