add: map_tree in tree.v