Assertion list for term "returned by previous call".
Results from Ascent++: 1
value (aspect of variable) → ReceivesAction → returned by previous call 0.34