Live Variable Analysis