sig val join : Property.t -> Cil_types.annotation_status -> unit end