Assertion list
fresh hop (subgroup of hop ) → ReceivesAction
Results from Ascent++: 1
fresh hop → ReceivesAction → added 0.25