Live variable analysis