static <A> A assertBiggerThan(A a, A b) {
  assertTrue(cmp(b, a) > 0);
  ret b;
}