let tag_annot annot = let tag = List.exists (fun a -> a.annot_id = annot.annot_id) (Pscope_warn.get()) in if tag then scope_p_warn_tag else empty_tag