let
remove_edge env e =
debug
"remove edge : %a@."
pp_edge e;
CFG
.remove_edge_e env.graph e