Assertion list
length (aspect of lens ) → ReceivesAction
Results from Ascent++: 4
length → ReceivesAction → increased 0.38
length → ReceivesAction → measured 0.31
length → ReceivesAction → adjusted 0.25
length → ReceivesAction → selected 0.25