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