Вы здесь

Оценки высоты термов в наиболее общем унификаторе