let
find_entry_point_node pdg =
try
find_node pdg
Key
.entry_point
with
Not_found
->
assert
false