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