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