sig
  val reset_slicing : unit -> unit
  val is_called : Cil_types.kernel_function -> bool
  val has_persistent_selection : Cil_types.kernel_function -> bool
  val change_slicing_level : Cil_types.kernel_function -> int -> unit
  val default_slice_names :
    Cil_types.kernel_function -> bool -> int -> string
  val extract :
    ?f_slice_names:(Cil_types.kernel_function -> bool -> int -> string) ->
    string -> Project.t
  val is_directly_called_internal : Cil_types.kernel_function -> bool
  val print_dot : filename:string -> title:string -> unit
  val pretty : Stdlib.Format.formatter -> unit
end