Assertion list for term "stored in ret".
Results from Ascent++: 2
value (aspect of variable) → ReceivesAction → stored in ret 0.33
value (aspect of function) → ReceivesAction → stored in ret 0.32