Assertion list for term "used to store the result of the instruction".

Results from Ascent++: 1
pointer ReceivesActionused to store the result of the instruction 0.34