static <A> void assertContainsAll(Collection<? extends A> a, Collection<A> b) {
  fOr (x : b)
    if (!contains(a, x))
      fail("Collection doesn't contain " + str_shorten(x) + ": " + a);
}