Assertion list for term "passed to the callback".
Results from Ascent++: 1
value (aspect of function) → ReceivesAction → passed to the callback 0.27