Introduce failover predicates and failure detection