Assertion list
tail (aspect of squirrel ) → ReceivesAction
Results from Ascent++: 2
tail → ReceivesAction → flattened 0.42
tail → ReceivesAction → thrown 0.26