let get_node_data n = Tree.get_node_label n