minor
Live Variables analysis