Assertion list
tail (aspect of salamander ) → ReceivesAction
Results from Ascent++: 2
tail → ReceivesAction → compressed 0.68
tail → ReceivesAction → keeled 0.25