sclass RuleEngine2_MatchedRule {
  S globalID = aGlobalID();
  RuleEngine2.Rule rule;
  SS map;
  new Map<S, Int> mappingQuality; // key in map to -1, 0 or 1
  new LPair<LS> matchedLines;
  S tokenizationFunction;
  
  int qualitySum() {
    ret intSum(values(mappingQuality))-l(map);
  }
  
  RuleEngine2.Rule applyMapping() {
    new RuleEngine2.Rule r;
    r.in = map(rule.in, f<S, S> applyMappingTo);
    r.out = applyMappingTo(rule.out);
    ret r;
  }
  
  S appliedRuleText() {
    ret applyMapping().asText();
  }
  
  S applyMappingTo(S s) {
    ret s == null ? null : join(ai_mapCodeTokensWithMap(tokenize(s), map));
  }
  
  LS tokenize(S s) {
    ret (LS) callAndMake(assertNotNull(tokenizationFunction), s);
  }
}

static L<RuleEngine2_MatchedRule> ai_ruleEngine2_rulesForInput_3(RuleEngine2 engine, S q) {
  new L<RuleEngine2_MatchedRule> l;
  for (RuleEngine2.Rule rule : engine.rules) {
    S cond = first(rule.in);
    S tokenize = or(matchAny_firstGroup("tokenize with *", rule.comments), f javaTokNPunctuationWithBrackets);
    LS tokI = (LS) callAndMake(tokenize, q);
    LS tokC = (LS) callAndMake(tokenize, cond);
    SS map = zipTwoListsToCIMap_strict_withoutEquals(tokC, tokI);
    if (map == null) continue;
    //print(map + " | " + cond + " | " + rule.vars);
    new RuleEngine2_MatchedRule matched;
    matched.rule = rule;
    matched.map = map;
    matched.matchedLines.add(pair(tokC, tokI));
    matched.tokenizationFunction = tokenize;
    Map<PairS, Int> qualities = ai_ruleEngine2_mappingQualities(rule);
    for (S a, b : map) {
      mapPut(matched.mappingQuality, a, qualities.get(pair(a, b)));
    }
    l.add(matched);
  }
  ret l;
}