Assertion list for term "stored in \a".

Results from Ascent++: 1
value (aspect of function) ReceivesActionstored in \a 0.25