I'm not sure if Itcl is a necessary part of this bug; if so, it may actually be a bug in Itcl rather than in Tcl. OTOH, it might still be a bug in Tcl anyway. I don't know the guts of variables and traces nearly well enough to comment.