sig
  val add :
    Cil_types.varinfo ->
    Cil_types.kernel_function option ->
    Cil_types.kinstr -> Cil_types.lval -> unit
  val get :
    Cil_types.varinfo ->
    (Cil_types.kernel_function option * Cil_types.kinstr * Cil_types.lval)
    list
  val self : State.t
  val get_last_result :
    unit ->
    ((Kernel_function.t option * Cil_types.kinstr *
      (Cil_types.lhost * Cil_types.offset))
     list * Cil_types.varinfo)
    option
  val iter :
    (Cil_types.varinfo ->
     (Cil_types.kernel_function option * Cil_types.kinstr * Cil_types.lval)
     list -> unit) ->
    unit
  val iter_sorted :
    (Cil_types.varinfo ->
     (Cil_types.kernel_function option * Cil_types.kinstr * Cil_types.lval)
     list -> unit) ->
    unit
end