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