Assertion list for term "cost both".

Results from Ascent++: 1
mistake CapableOfcost both 0.21