Assertion list for term "replaced in order".

Results from Ascent++: 1
fuse ReceivesActionreplaced in order 0.25