static double scoreGuesserIC_1(O guesser, SS examples) {
  int ok = 0, total = 0;
  for (S key, value : examples) {
    total++;
    if (eqic(value, unnullStr(pcallF(guesser, key)))) ok++;
  }
  ret total == 0 ? 1 : ok/(double) total;
}