let build_cfg_annots _g he =
(*
let res = Cil2cfg.Hfol.create 42 in
let do_edge e =
let wp_res = get_wp_edge he e in
let stmt_typ = CFG.E.src e in
begin match !stmt_typ with
| Cil2cfg.Vstart _ ->
Wp_parameters.debug ~level:4
"result at Start =@.@[<hov 2> %a@]@."
W.pretty wp_res;
| _ -> (* let's register all intermediate computations *)
Wp_parameters.debug ~level:4
"result before %a =@.@[<hov 2> %a@]@."
Cil2cfg.VL.pretty (CFG.E.dst e) W.pretty wp_res;
end;
Cil2cfg.Hfol.replace res e (W.fol_res wp_res);
in let _ = CFG.iter_edges_e do_edge g in
res *)
let pp_edge fmt e =
let wp_res = get_wp_edge he e in
W.pretty fmt wp_res
in pp_edge