liveness: fix live_in propagation