let change_slicing_level proj kf n = let slicing_level = translate_num_to_slicing_level n in let fi = get_kf_fi proj kf in (* build if if it doesn't exist *) change_fi_slicing_level fi slicing_level