SSA renumber local names; local def-use chains; emit local dead registers annotations using Sudeep's EFLAGS arrays.
