let add_edge env n1 edge_type n2 =
  let e = CFG.E.create n1 (ref edge_type) n2 in
    Wp_parameters.debug ~level:3 "[cfg] add edge : %a@." pp_edge e;
    CFG.add_edge_e env.graph e