Assertion list for term "finish t6".

Results from Ascent++: 1
round CapableOffinish t6 0.25