Improve paired-claim reuse on shadow exit. #4291