More about phi nodes where variable is dead.