let
name =
"SlicingTypes.Fct_user_crit"