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