static MultiSet<F1<S>> ai_deduceReplaceSuffixMultiSet(LPairS l) {
  new MultiSet<F1<S>> ms;
  fOr (PairS p : l)
    addUnlessNull(ms, ai_deduceReplaceSuffixIC(p.a, p.b));
  ret ms;
}