Assertion list
tail (aspect of chipmunk ) → ReceivesAction
Results from Ascent++: 1
tail → ReceivesAction → flattened 0.43