let graph_refinement ()     = !graph_refinement_opt