let node_slice_calls () =
    (OptSlicingLevel (M.get_default_level_option true))