static L<RuleEngine2_MatchedRule> ai_ruleEngine2_rulesForInput_5_allConditions(RuleEngine2 engine, SS inputsByType, O... _) {
  L<RuleEngine2_MatchedRule> notDone = ai_ruleEngine2_rulesForInput_5(engine, inputsByType, _);
  new L<RuleEngine2_MatchedRule> done;
  bool debug = boolPar debug(_);
  
  while (nempty(notDone)) {
    L<RuleEngine2_MatchedRule> l = notDone;
    notDone = new L;
    for (RuleEngine2_MatchedRule mr : l) {
      if (!mr.moreConditions()) {
        if (debug) print("Done: " + mr.ruleID());
        done.add(mr);
      }
      else {
        if (debug) print("Matching step " + mr.iCond + " in " + mr.ruleID());
        if (ai_ruleEngine2_matchStep(mr, inputsByType, false)) {
          if (debug) print("Step succeeded");
          notDone.add(mr);
        } else
          done.add(mr); // keep partially applied rule
      }
    }
  }
  
  ret done;
}