sig
  val add : Cil_types.varinfo -> Cil_types.kinstr -> Cil_types.lval -> unit
  val get : Cil_types.varinfo -> (Cil_types.kinstr * Cil_types.lval) list
  val self : Project.Computation.t
  val iter :
    (Cil_types.varinfo -> (Cil_types.kinstr * Cil_types.lval) list -> unit) ->
    unit
end