Assertion list
new reservoir (subgroup of reservoir ) → ReceivesAction
Results from Ascent++: 1
new reservoir → ReceivesAction → built 0.68