let get_call_out_edges cfg v =
let e1, e2 = match succ_e cfg v with
| [e1;e2] -> e1, e2
| _ -> assert false
in
let en, ee = match node_type (edge_dst e1) ,
node_type (edge_dst e2) with
| _, Vexit -> e1, e2
| Vexit, _ -> e2, e1
| _, _ -> assert false
in en, ee