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