svoid dm_gazelle_acceptWorstVarMappingForRule(S ruleID) {
  PairS varAndValue = pairA(dm_gazelle_worstVarMappingForRule(ruleID));
  if (varAndValue == null) ret;
  dm_gazelle_addRuleComments_verbose(ruleID, "don't change " + quote(varAndValue.a) + " to " + quote(varAndValue.b));
}