let get_children n = Tree.get_children n