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