Assertion list
tail (aspect of pony ) → ReceivesAction

Results from Ascent++: 1
tailReceivesAction braided 0.25