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