Symbol: setTreeHeight