concrete memset and memcopy should behave like multiple STORES and not create a new lambda memory layer

[ruaronicola]

NOTE: before adding complexity to the memory model verify the impact of this enhancement