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