* Fixed RW empty write-set bug.