let tree_exploration_opt = ref Bfs