Assertion list for term "used to rejustify the message".

Results from Ascent++: 1
command ReceivesActionused to rejustify the message 0.28