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