Added Second version of Atomicity Decomp (2)