Assertion list for term "designed for step".

Results from Ascent++: 1
ramp ReceivesActiondesigned for step 0.25