tree_height tree
returns the height of a tree
Source code:
if { [empty_string_p $tree] } { return 0 } expr 1+[fold tree_max 0 [map tree_height [tail $tree]]]