sig
type t = Cil_types.identified_predicate
val get : t -> Cil_types.annotation_status
val set : t -> Cil_types.annotation_status -> unit
val update : t -> Cil_types.annotation_status -> unit
val get_all : t -> Cil_types.annotation_status list
val strongest : t -> Cil_types.annotation_status
end