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