(Xronos) NewLimGen, adding constant propagation, dead code
elimination,dead variable, given values oly to variables that are
initialized and that are not assignable.