static ReplaceSuffixIC ai_deduceReplaceSuffixIC(S a, S b) {
  int common = lCommonPrefixIC(a, b);
  ret common == 0 ? null : ReplaceSuffixIC(dropFirst(a, common), dropFirst(b, common));
}