Assertion list
tail (aspect of lizard ) → ReceivesAction
Results from Ascent++: 3
tail → ReceivesAction → dropped 0.31
tail → ReceivesAction → lost 0.25
tail → ReceivesAction → injured 0.16