Assertion list
head (aspect of caterpillar ) → ReceivesAction
Results from Ascent++: 1
head → ReceivesAction → striped with black 0.34