Symbol: GetTreeHeight