This is necessary to compute the heigth in a tree and will probably be useful for other purposes
with the dot output of --global-init-search
