sbool <A> cicValue(Map<A, S> map, S s) {
  ret cic(values(map), s);
}