Assertion list
head (aspect of zombie ) → ReceivesAction

Results from Ascent++: 1
headReceivesAction removed 0.68