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