The idea is to provide an interface like bindAboveBelow<Top, Bottom>(abt) that allows unit tests to assert on the structure of an ABT without printing it. For motivation, cascades uses this sort of thing in the logical rewriter.