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