Algorithmic height compression of unordered trees.

Algorithmic height compression of unordered trees.