I wasn't able to find a relevant part in the spec which explains this case, so I'm not sure how to handle it.
The problem with cross-ws checking is that the reference *might not be* a NodeKey reference and we can figure out which ws it points towards.