liveness: make out/in propagation faster