let tree_exploration () = !tree_exploration_opt