static void verifyFunctionPairOnInput(S forward, S backward, O input) {
  if (!eq(input, callF(backward, callF(forward, input))))
    fail("Function is not a pair: input=" + sfu(input) + ", f=" + forward + ", g=" + backward);
}