Abstracted out liveness computation to a separate system.