Modify the codegen storeDeclarations() step to first verify the cached value, then store, instead of just overwriting.
Modify the codegen storeDeclarations() step to first verify the cached value, then store, instead of just overwriting.