liveness: build live ranges