More work on balanced tree comparison

But no progress.