sig val join : Cil_types.code_annotation -> Cil_types.annotation_status -> unit val join_predicate : Cil_types.identified_predicate -> Cil_types.annotation_status -> unit end