let select_pdg_nodes set mark nodes kf = let selection = !Db.Slicing.Select.select_pdg_nodes_internal kf nodes mark in add_to_selection set selection