let select_entry_point proj _kf pdg = 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