It was fun to notice that the code already says this needs to be
fixed. :-)
Indeed!
The idea of a flag on a decl which says "This variable is assigned
before first use, and always holds the same value" is not bad at all
and might be useful in other places as well.
That's what TREE_READONLY means, I thought.