let build_dot_file pdg =
    let kf = get_kf pdg in
    let fct_name = Kernel_function.get_name kf in
    let filename = (fct_name ^ ".dot"in
    build_dot filename pdg;
    filename