sig
type param =
(Db_types.kernel_function * Cil_types.kinstr) list *
State_set.t Cilutil.InstrHashtbl.t
val extend : (param -> unit) -> unit
val apply : param -> unit
val is_empty : unit -> bool
val clear : unit -> unit
val length : unit -> int
end