let
cfg_graph cfg = cfg.graph