Comment by nmadden

The example given in the article is:

    counter = 0
    counter = counter + 1

This is very different to shadowing where there is a clear scope to the rebinding. In this case, I cannot employ equational reasoning within a scope but must instead trace back through every intervening statement in the scope to check whether the variable is rebound.