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