GIF_tree-extension