static S prependGlobalIDInNewLine_opt(S s) {
  if (empty(s) || startsWith(s, "[id: ")) ret s;
  ret prependGlobalIDInNewLine(s);
}