// A = parameter type
srecord noeq AIC_EvaluateParameter<A>(
  S parameterName,
  Cl<A> parameterValues,
  IVF2<A, AdaptiveIdentifierCompression> applyParameter) {
  
  new AICDemo demo;
  new Map<A, Int> scores;
  new LL<PairS> tokenByToken;
  
  run {
    fOr (param : parameterValues) {
      demo.adapt = aic -> applyParameter.get(param, aic);
      int l = l(demo.compress());
      tokenByToken.add(demo.tokenByToken);
      printVars(+param, +l, escapeWordsUsed := demo.aicComp.escapeWordsUsed);
      demo.decompress();
      if (!demo.decompressedOK)
        fail(parameterName + "=" + param + " breaks the algorithm");
      scores.put(param, l);
    }
    
    printScores();
  }
  
  void printScores {
    print("Best values for " + parameterName + ":");
    pnl(mapSortedByValue(scores));
  }
  
  void printTokenByTokenDiffs(bool printSameLengthEncodings default false) {
    LL<PairS> transposed = transpose(tokenByToken);
    for i over transposed: {
      LPairS row = transposed.get(i);
      LS encodings = pairsB(row);
      S token = pairA(first(row));
      
      if (!printSameLengthEncodings && allEq(map l(encodings))) continue;
      print("Token " + i + ": " + quote(token) + " => " + sfu(encodings));
    }
  }
}