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 -> Db.Slicing.Project.t -> Project.t   val is_src_fun_called :     Db.Slicing.Project.t -> Cil_types.kernel_function -> bool   val is_src_fun_visible :     Db.Slicing.Project.t -> Cil_types.kernel_function -> bool end