(Xronos) Modyifing: Liveness, the construction of while loops, the cfg
for whiles. Adding UninitializedVariable transformation. The liveness is
not wokring correctly. is not finiding some variables that should be
live(JPEG Encoder, huffman, GenerateHT action).