I agree this is a risk.
On the other hand, there are many other ways for a badly written smart contract to lose assets.
What do you think of having a static analyzer able to display a warning when such a risk occurs? Such a static analyzer would also check for other dangerous behaviors.