This was done on purpose, I wanted to change the message here in the
future so it indicates that it is not the local that is unused, but that
it is possible to extract loop-invariant overs, but decided to implement
this optimization on another level (automatic loop_invariant overs
caching)