Assertion list
head (aspect of condor ) → ReceivesAction

Results from Ascent++: 1
headReceivesAction kept clean 0.25