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