Assertion list
actual parameter (subgroup of parameter ) → ReceivesAction
Results from Ascent++: 1
actual parameter → ReceivesAction → passed by value 0.25