module Predicate:Getting and modifying status of predicates.S
with type t = identified_predicate
include Properties_status.Make_updater.S_ReadOnly
val set : t -> Cil_types.annotation_status -> unit
val update : t ->
(Cil_types.annotation_status -> Cil_types.annotation_status) ->
Cil_types.annotation_status