Assertion list
tail (aspect of tern ) → ReceivesAction
Results from Ascent++: 1
tail → ReceivesAction → forked 0.77