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