Assertion list for term "measured in step".
Results from Ascent++: 2
expression → ReceivesAction → measured in step 0.48
value (aspect of parameter) → ReceivesAction → measured in step 0.45