sS gazelle_addGlobalID(S rule) {
  if (!containsStartingWith(lines(rule), "[id:"))
    rule = appendWithNewLine(rule, "[id: " + aGlobalID() + "]");
  ret rule;
}