sig
  type t = (Cil_types.kinstr * Cil_types.lval) list
  val get : (Cil_types.varinfo -> Db.Occurrence.t) Pervasives.ref
  val get_last_result :
    (unit -> (Db.Occurrence.t * Cil_types.varinfo) option) Pervasives.ref
  val print_all : (unit -> unit) Pervasives.ref
  val self : Project.Computation.t Pervasives.ref
end