sig   type t =       (Cil_types.kernel_function option * 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 : State.t Pervasives.ref end