sig
  val add : Kernel_function.t -> Cil_types.stmt -> unit
  val mem : Kernel_function.t -> Cil_types.stmt -> bool
  val mem_kf : Kernel_function.t -> bool
end