Assertion list for term "designed with little overhead".

Results from Ascent++: 1
circuit ReceivesActiondesigned with little overhead 0.25