sS gazelle_replaceInOfRuleText(S ruleText, S newIn) {
  PairS p = splitAtDoubleArrow_pair(ruleText);
  if (p == null) null;
  ret gazelle_constructRuleText(newIn, p.b);
}