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