- compute liveness for (nearly) all nodes