replays/309-an-order-rule-yields-to-a-stronger-one
main
Proved with cmd/prove: TestReplay309 fails on the controller before c5a2edf (the group refused as a cycle) and passes on it.