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)