Assertion list for term "test efficiency".

Results from Ascent++: 1
protocol CapableOftest efficiency 0.25