fixed missing liveness condition in benchmarks.