:arrow_up: Giovanni's solution again, which consists in only allowing to replace derefs if they point to a uniform variable.
I added the tgood/tbad test and it passes it, but the recently merged !51 was required.
For simplicity I will send the uninitialized object references tests in another MR.