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