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