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

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