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