let translate_num_to_slicing_level n =
  match n with
      | 0 -> T.DontSlice
      | 1 -> T.DontSliceButComputeMarks
      | 2 -> T.MinNbSlice 
      | 3 -> T.MaxNbSlice
      | _ -> raise SlicingTypes.WrongSlicingLevel