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 * '-> unit) ->
    'Cil_datatype.Varinfo.Map.t -> unit
  val fold_selects_internal :
    ('-> Cil_datatype.Varinfo.Map.key * '-> 'a) ->
    '-> 'Cil_datatype.Varinfo.Map.t -> 'a
end