Adds liveness analyzer (incomplete)