Add preserves-definedness attributes

[bbyalcinkaya]

No description provided.

[ehildenb]

Does this result in a performance improvement? If so, how much?

ALos, I think we can perhaps avoid the preserves-definedness with some modifications to the rules? For example, we could have a rule which matches on teh state where the elements do exist in the K cell collection, and rewrite to an error state. Then we have this rule be an owise rule. If that works, do these issues go away, or do we still need preserves-definedness?

[ehildenb]

I checked, and it looks ilke in EVM semantics we also use preservse-definedness attribute for any rules modifying cells in collections, so I guess it makes sense here too!