sig
type param = state * (Cil_types.kernel_function * Cil_types.kinstr) list
type result = unit
val extend : (param -> result) -> unit
val apply : param -> result
val is_empty : unit -> bool
val clear : unit -> unit
val length : unit -> int
end