Marking nodes with liveness