Assertion list
yield (aspect of berry ) → ReceivesAction
Results from Ascent++: 2
yield → ReceivesAction → reduced 0.35
yield → ReceivesAction → obtained 0.16