let dot_wp_res cfg model pp_edge_fun =
  let kf = cfg_kf cfg in
  let f = Kernel_function.get_name kf in
  let msg = (model^" results"in
  let dotname = (f^".wp_"^model) in
    cfg_dot msg dotname cfg ~pp_edge_fun