Assertion list for term "designed with efficiency".

Results from Ascent++: 1
template ReceivesActiondesigned with efficiency 0.25