svoid nlLogic_collectCheckingLog(NLLogicChecker_v2 c, final LS log) {
  c.onCheckingExpression = voidfunc(Exp e, NLLogicChecker_v2.Matching m) {
    log.add("Checking: " + nlLogic_text(e) + " with " + sfu(m.matches));
  };
  
  c.onExpressionChecked = voidfunc(Exp e, NLLogicChecker_v2.Matching m, O result) {
    S status = isTrue(result) ? "OK" : isFalse(result) ? "FAIL" : str(result);
    log.add(status + ": " + nlLogic_text(e) + " with " + sfu(m.matches));
  };
}