<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_buj335kupn1e6b8a8j1dur4am1, 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 />
// returns comments
static LS gazelle_proposeVarDiscriminators(ai_gazelle_analyzeStatementsForRule_Data data) {
  LS discriminators = ll(f isInteger);
  new LS out;
  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()) {
          out.add(format("var " + quote(var) + " must satisfy *", discriminator));
          continue varLoop;
        }
      }
  }
  ret out;
}