// testing: MAKE SURE THAT THE KEY STAYS THE SAME!!!
 public void sanityTestKeyBeforeAndAfter(
     CheckersSetup setup, boolean isDarkPlayerCurrentTurn, int key[]) {
   int key2[] = AnalysedPosition.makeKey(setup, isDarkPlayerCurrentTurn);
   int compare = BalancedSearchTree.compare(key, key2);
   if (compare != 0) {
     System.out.println("ERROR: the board changes through the getEstUtilityOfPosition function.");
     System.exit(1);
   }
 }