Assertion list for term "better efficiency".

Results from Ascent++: 1
measure HasSubeventbetter efficiency 0.28