Assertion list
tail (aspect of pony ) → ReceivesAction
Results from Ascent++: 1
tail → ReceivesAction → braided 0.25