Assertion list
refining (primary) → ReceivesAction
Results from Ascent++: 2
refining → ReceivesAction → expected in paper 0.26
refining → ReceivesAction → expected in rubber 0.16