Assertion list for term "first and second ends".

Results from Ascent++: 2
handle HasAfirst and second ends 0.46
circuitry HasAfirst and second ends 0.28