scope ai_gazelle_analyzeStatementsForRule.

sclass #Data {
  MultiSet<S> statements;
  
  Set<S> possibleVars, usedVars, unusedVars,
    varsUsedInGood, varsUsedInBad,
    varsUsedInGoodOnly, varsUsedInBadOnly;
  Set<S> unclearVars; // used in good and bad mappings
  MultiMap<S> goodMappings, badMappings, // per var
    alwaysGoodMappings, alwaysBadMappings;
  L<SS> completeGoodMappings, completeBadMappings;
  Map<PairS, PosNegScore> varScores;
}

static Data ai_gazelle_analyzeStatementsForRule(Collection<S> l) {
  Set<S> possibleVars = asCISet(matchAny_firstGroups("possible variable *", l));
  Set<S> usedVars = asCISet(matchX_any_firstGroups("... variable * was used", l));
  Set<S> unusedVars = asCISet(listMinusSet(possibleVars, usedVars));
  Set<S> varsUsedInGood = asCISet(matchX_any_firstGroups("in a good mapping, variable * was used", l));
  Set<S> varsUsedInBad = asCISet(matchX_any_firstGroups("in a bad mapping, variable * was used", l));
  Set<S> unclearVars = setIntersection(varsUsedInGood, varsUsedInBad);
  MultiMap<S> goodMappings = uniquifyMultiMapValues(pairsToMultiMap(matchX_any_firstAndSecondGroups("in a good mapping, variable * was mapped to *", l)));
  MultiMap<S> badMappings = uniquifyMultiMapValues(pairsToMultiMap(matchX_any_firstAndSecondGroups("in a bad mapping, variable * was mapped to *", l)));
  MultiMap<S> alwaysGoodMappings = multiMapDiff(goodMappings, badMappings);
  MultiMap<S> alwaysBadMappings = multiMapDiff(badMappings, goodMappings);
  L<SS> completeGoodMappings = (L) map safeUnstruct(matchX_any_firstGroups("a good mapping is *", l));
  L<SS> completeBadMappings = (L) map safeUnstruct(matchX_any_firstGroups("a bad mapping is *", l));
  ret nu(Data, +possibleVars, +usedVars, +unusedVars,
    +varsUsedInGood, +varsUsedInBad, +unclearVars,
    varsUsedInGoodOnly := setDiff(varsUsedInGood, varsUsedInBad),
    varsUsedInBadOnly := setDiff(varsUsedInBad, varsUsedInGood),
    +goodMappings, +badMappings,
    +alwaysGoodMappings, +alwaysBadMappings,
    +completeGoodMappings, +completeBadMappings);
}

end scope