static MultiSet similarEmptyMultiSet(MultiSet m) {
  new MultiSet ms;
  ms.map = similarEmptyMap(m.map);
  ret ms;
}