static Exp nlLogic_rewrittenFirstFailingCondition(NLLogicChecker_v2 c, IfThen rule) {
  new NLLogicChecker_v2.Matching m;
  ret c.apply(nlLogic_checkFirstConditions(c, rule, m), m);
}