On chaining invariant checks, only check liveness once