Assertion list
tail (aspect of tern ) → ReceivesAction

Results from Ascent++: 1
tailReceivesAction forked 0.77