svoid nlLogic_collectCheckingLog(NLLogicChecker_v2 c, final LS log) {
  /*c.onChecking = voidfunc(O o, NLLogicChecker_v2.Matching m) {
    pcall { log.add("Checking: " + o + " with " + sfu(m.matches)); }
  };*/
  
  c.onChecked = voidfunc(O o, NLLogicChecker_v2.Matching m, O result) {
    pcall { 
      S status = isTrue(result) ? "OK" : isFalse(result) ? "FAIL" : str(result);
      log.add(status + ": " + o + " with " + sfu(m.matches));
    }
  };
}