Translate_ats.Free
val find_all : Frama_c_kernel.Cil_types.kernel_function -> Frama_c_kernel.Cil_types.stmt list
the list of free stmts that need to be inserted into kf.
free
kf
val remove_all : Frama_c_kernel.Cil_types.kernel_function -> unit
Remove all free stmts for kf from the internal table.