let tag_stmt stmt =
    if Stmt.Set.mem stmt (ShowDefState.get())
    then show_def_tag else empty_tag