Complete liveness analyzer (not tested)