let find_entry_point_node pdg =
  try
    let key = K.entry_point in find_node pdg key
  with PdgIndex.NotFound -> assert false