module S: Cil_datatype.Varinfo.Map.Make(SlicingTypes.Fct_user_crit)
Cil_datatype.Varinfo.Map.Make
(
SlicingTypes.Fct_user_crit
)