TXMaker Fix compare&swap on Atomic Variables.