more fiddling with has_succ_has_pred_inv
more fiddling with has_succ_has_pred_inv

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