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