static <A> Map<S, A> assertCIMap(Map<S, A> map) {
  assertTrue(isCIMap(map));
  ret map;
}