svoid gazelle_addDerivedRules(S ruleID, Set<S> transformedTexts, S extractedComment, S comments) {
  LS allComments = tlft(comments);
  gazelle_addDerivedRules(ruleID, transformedTexts, extractedComment, "", allComments, allComments);
}

svoid gazelle_addDerivedRules(S ruleID, Set<S> transformedTexts, S extractedComment, S deployedPrefix, LS allComments, LS coreComments) {
  Set<S> textsNeeded = cloneSet(transformedTexts);
  L<T3S> rules = dm_gazelle_allRulesWithComment(extractedComment);
  LS coreComments2 = empty(deployedPrefix) ? coreComments : withoutStartingWithIC(coreComments, deployedPrefix);
  S commentsForDeployed = lines_rtrim(listPlus(coreComments2, extractedComment));
  new LS deployed;
  for (T3S t : rules)
    if (!textsNeeded.remove(t.a))
      gazelle_deleteRule(t.c);
    else {
      gazelle_setRuleComment(t.c, commentsForDeployed);
      deployed.add(t.c);
    }
  for (S text : textsNeeded)
    deployed.add(dm_gazelle_addRuleWithComment(text, commentsForDeployed).a);
  if (nempty(deployedPrefix)) {
    LS allComments2 = withoutStartingWithIC(allComments, deployedPrefix);
    for (S deployedID : deployed)
      allComments2.add(deployedPrefix + deployedID);
    gazelle_setRuleComment(ruleID, allComments2);
  }
}