static SS mergeMapsStrictlyIC(SS map1, SS map2) {
  if (map2 == null) ret map1;
  if (map1 == null) ret map2;
  if (!canPutAllStrictlyIC(map1, map2)) null;
  ret mergeMaps(map1, map2);
}