Z3, Память не память

Mem VS mem Z3 Обнова пришла Память не память