static <A, B> A assertEqualsVerboseUnder(S msg default null, IF1<A, B> f, A a, A b) {
  if (f == null)
    assertEqualsVerbose(msg, a, b);
  else
    assertEqualsVerbose(msg, f.get(a), f.get(b));
  ret b;
}