Initial implementation of Liveness Analysis.