Assertion list for term "destined for production".

Results from Ascent++: 1
export ReceivesActiondestined for production 0.25