Assertion list
tail (aspect of snake ) → ReceivesAction
Results from Ascent++: 3
tail → ReceivesAction → compressed 0.32
tail → ReceivesAction → tapered 0.32
tail → ReceivesAction → raised 0.16