reduction-for-tso

yeni lemma’lar eklendi; write-atomicity kismi henuz bitmedi.