Reimplement removing stores to allocas at the end of a function. This should be...