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 !(edge_dst e1).kind ,
!(edge_dst e2).kind with
| VcallOut _, VcallExit _ -> e1, e2
| VcallExit _, VcallOut _ -> e2, e1
| _, _ -> assert false
in en, ee