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