sig
  val self : State.t
  val get_last_result :
    unit ->
    ((Cil_types.kernel_function option * Cil_types.kinstr * Cil_types.lval)
     list * Cil_types.varinfo)
    option
  val get :
    Cil_types.varinfo ->
    (Cil_types.kernel_function option * Cil_types.kinstr * Cil_types.lval)
    list
  val print_all : unit -> unit
  type access_type = Read | Write | Both
  val classify_accesses :
    Cil_types.kernel_function option * Cil_types.kinstr * Cil_types.lval ->
    Register.access_type
end