static Pair<Set<S>> gazelle_goodAndBadValuesForVariable(ai_gazelle_analyzeStatementsForRule_Data data, S var) {
  ret pair(
    getFromMultipleMapsAsCISet(data.completeGoodMappings, var),
    getFromMultipleMapsAsCISet(data.completeBadMappings, var));
}