<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_mu7v5j93ugrl8rrtq9nil1grtv, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
scope ai_gazelle_analyzeStatementsForRule.

sclass #Data {
  Set<S> possibleVars, usedVars, unusedVars,
    varsUsedInGood, varsUsedInBad,
    varsUsedInGoodOnly, varsUsedInBadOnly;
  Set<S> unclearVars; // used in good and bad mappings
  MultiMap<S> goodMappings, badMappings,
    alwaysGoodMappings, alwaysBadMappings;
}

static Data ai_gazelle_analyzeStatementsForRule(LS 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);
  ret nu(Data, +possibleVars, +usedVars, +unusedVars,
    +varsUsedInGood, +varsUsedInBad, +unclearVars,
    varsUsedInGoodOnly := setDiff(varsUsedInGood, varsUsedInBad),
    varsUsedInBadOnly := setDiff(varsUsedInBad, varsUsedInGood),
    +goodMappings, +badMappings,
    +alwaysGoodMappings, +alwaysBadMappings);
}

end scope