sig
  val add : string -> Cil_types.logic_info list -> unit
  val mem : string -> bool
  val iter : (string -> Cil_types.logic_info list -> unit) -> unit
  val self : State.t
end