sig
  type param =
      Kernel_function.t Stack.t *
      Function_Froms.Memory.t Cil_datatype.Stmt.Hashtbl.t *
      (Kernel_function.t * Function_Froms.Memory.t) list
      Cil_datatype.Stmt.Hashtbl.t
  type result = unit
  val extend : (param -> result) -> unit
  val extend_once : (param -> result) -> unit
  val apply : param -> result
  val is_empty : unit -> bool
  val clear : unit -> unit
  val length : unit -> int
end