Assertion list for term "positive return".

Results from Ascent++: 3
square HasApositive return 0.32
benchmark HasApositive return 0.27
whirlpool HasApositive return 0.25