let has_exit cfg =
  try
    let node = Hashtbl.find cfg.stmt_node (node_type_id Vexitin
    match pred_e cfg node with
      | [] -> false
      | _ -> true
  with Not_found | Invalid_argument _ -> false