WriteSet is now split