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