let tag_stmt stmt = 
    if Cilutil.StmtSet.mem stmt (ShowDefState.get())
    then show_def_tag else empty_tag