Starting Liveness Analysis (not sure if it works)