let get_slevel kf = let name = Kernel_function.get_name kf in Value_parameters.SlevelFunction.find name