Tree interface declares getHeight()