Assertion list
head (aspect of ant ) → ReceivesAction

Results from Ascent++: 1
headReceivesAction removed 0.68