static ReplaceSuffix ai_suffixChange(S a, S b) {
  S common = lCommonPrefixIC(a, b);
  ret empty(common) ? null : ReplaceSuffix(dropFirst(a, common), dropFirst(b, common));
}