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