Assertion list
tail (aspect of gecko ) → ReceivesAction

Results from Ascent++: 1
tailReceivesAction dropped 0.68