Assertion list for term "designed to ensure reliability".

Results from Ascent++: 1
structure ReceivesActiondesigned to ensure reliability 0.37