(Xronos) Adding Liveness analysis, more tests need to be done to see if
the liveness imlementation is correct.