rem: this.hintDestinations.push(dest); 
add: this.hintDestinations.push([dest]); 
context:   addHints2: function(cards, dest) {    for(var i = 0; i != cards.length; i++) {      this.hintSources.push(cards[i]);      this.hintDestinations.push(dest);    }  },
meta: 3385	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3385/e47caa955575dff800723e6b52a9b3557ed7b425/lib-game.js/clean/code/lib-game.js