Assertion list for term "return next element".

Results from Ascent++: 1
method (aspect of class) CapableOfreturn next element 0.25