let select_entry_point proj kf =
  let pdg = !Db.Pdg.get kf in
  let ctrl = !Db.Pdg.find_entry_point_node pdg in
  let to_select = add_node_to_select true [] None ctrl in
    select_pdg_elements proj pdg to_select