let tag_stmt stmt = (*if Cilutil.StmtSet.mem stmt (Pscope_warn.get()) then scope_p_warn_tag else*) if Stmt.Set.mem stmt (Pscope.get()) then scope_p_tag else empty_tag