Assertion list for term "removed in order".
Results from Ascent++: 2
cast → ReceivesAction → removed in order 0.28
base → ReceivesAction → removed in order 0.25