Added transaction specs

* Wrote a pending spec for nested transaction