show invariant only depends on (failed) nodes and sigma
show invariant only depends on (failed) nodes and sigma

DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord,DistributedComponents/verdi-chord