svoid dm_gazelle_addProposedVarDiscriminators(S ruleID) {
  dm_gazelle_addRuleComments_verbose(ruleID, gazelle_proposeVarDiscriminators(dm_gazelle_dataForRule(ruleID)));
}