// returns map(var) -> discriminator
static Map<S, O> gazelle_proposeVarDiscriminators(ai_gazelle_analyzeStatementsForRule_Data data) {
  LS discriminators = ll(f isInteger);
  new Map<S, O> propositions;
  varLoop: for (S var : data.usedVars) {
    Pair<Set<S>> p = gazelle_goodAndBadValuesForVariable(data, var);
    if (nempty(p.a) && nempty(p.b))
      for (S discriminator : discriminators) pcall {
        if (scoreDiscriminator(discriminator, p).allCorrect()) {
          propositions.put(var, discriminator);
          continue varLoop;
        }
      }
  }
  ret propositions;
}