Assertion list for term "changed inside the function".
Results from Ascent++: 1
value (aspect of function) → ReceivesAction → changed inside the function 0.35