Assertion list for term "come k-t-6".

Results from Ascent++: 1
flop CapableOfcome k-t-6 0.39