Added sameObj. Read-my-writes (rmw) visibility uses sameObj. visibility relation is now explicitly asserted on actions on same objects.