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