let add_to_selection set selection =
  !Db.Slicing.Select.add_to_selects_internal selection set