sig
  val add_to_selects :
    Cil_datatype.Varinfo.Map.key * SlicingInternals.fct_user_crit ->
    SlicingInternals.fct_user_crit Cil_datatype.Varinfo.Map.t ->
    SlicingInternals.fct_user_crit Cil_datatype.Varinfo.Map.t
  val iter_selects_internal :
    (Cil_datatype.Varinfo.Map.key * 'a -> unit) ->
    'a Cil_datatype.Varinfo.Map.t -> unit
  val fold_selects_internal :
    ('a -> Cil_datatype.Varinfo.Map.key * 'b -> 'a) ->
    'a -> 'b Cil_datatype.Varinfo.Map.t -> 'a
end