let has_user_marks slice =
  let inputs_user_mark = !Slicing.Slice.get_user_mark_from_inputs slice in
  not (!Slicing.Mark.is_bottom inputs_user_mark)