let show_cfg (main_ui:Design.main_window_extension_points) kf =
  let kf_name = Kernel_function.get_name kf in
    main_ui#annot_window#buffer#insert ("[cfg] compute for "^kf_name^"\n");
  let select_init_env = ViewGraph_utils.create_graph_win (kf_name ^ " CFG"in
  let filename = Register.wp_cfg_dot kf in
  try ignore (V.open_dot_file () select_init_env filename)
  with ViewGraph_core.DotError _ ->
    GToolbox.message_box "Error"
      (Printf.sprintf "Dot failed on graph '%s'" filename)