Dynamic Dead Variable Analysis