sS gazelle_constructRuleText(LS ins, S out) {
  ret join("\n + ", ins) + "\n=> " + out;
}

sS gazelle_constructRuleText(S in, S out) {
  ret in + "\n=> " + out;
}