let graph_exploration_opt    = ref Mixed