sig
val get_kf_exn : Kernel_function.t -> Cil_datatype.Typ.Set.t
val compute : unit -> unit
val self_fun : State.t
val self_stmt : State.t
val remove_exn : Cil_types.file -> unit
val transform_category : File.code_transformation_category
end