let cfg_graph cfg = cfg.graph