assumeLocal: convert shared lvalue to a non-shared one

This is one of the two functions to satisfy [ER 12133 - Relaxed read-modify-write for shared lvalues](https://d.puremagic.com/issues/show_bug.cgi?id=12133).