Implement new semantics for writeonly

[nunoplopes]

https://github.com/llvm/llvm-project/commit/9cbedd925cba9e8ef76c50caa6d6ab4b0cc79c8f

We may need to tweak the semantics of readonly as well to allow certain stores?