Checking for Read after Write conflict, not fully working yet