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