Assertion list for term "come on top of cuts".

Results from Ascent++: 1
cut CapableOfcome on top of cuts 0.27