static L<RuleFailInfo> nlLogic_ruleFails(NLLogicChecker_v2 c, L<IfThen> rules) {
  new L<RuleFailInfo> out;
  for (IfThen rule : unnull(rules)) {
    new NLLogicChecker_v2.Matching m;
    Exp exp = nlLogic_checkFirstConditions(c, rule, m);
    if (exp != null)
      out.add(RuleFailInfo(rule, m.matches, exp);
  }
  ret out;
}