Added first version of a liveness analysis