static PairS ai_rule_pair_expandPlusArrow(PairS rule) {
  if (endsWith(pairA(rule), "+"))
    ret pair(rule.a + " " + rule.b, rule.b);
  ret rule;
}