We need to update PHIs containing the exiting block, not the exit block. We really...