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 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