let fi_slicing_level fi = fi.T.fi_level_option