sig
  val find_all : Cil_types.kernel_function -> Cil_types.stmt list
  val remove_all : Cil_types.kernel_function -> unit
end