Assertion list for term "stored in case of failure".

Results from Ascent++: 1
package ReceivesActionstored in case of failure 0.18