Assertion list
shell (aspect of shrimp ) → ReceivesAction
Results from Ascent++: 2
shell → ReceivesAction → removed 0.82
shell → ReceivesAction → closed 0.38