let dot_cfg cfg =
  let kf = cfg_kf cfg in
  let kf_name = Kernel_function.get_name kf in
  let dotname = kf_name^".cfg" in
  cfg_dot "cfg" dotname cfg