sig
  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_src_fun_called : Cil_types.kernel_function -> bool
  val is_src_fun_visible : Cil_types.kernel_function -> bool
end