Assertion list
tracer round (subgroup of round ) → ReceivesAction
Results from Ascent++: 1
tracer round → ReceivesAction → fired 0.68