Assertion list for term "miss double-double".

Results from Ascent++: 1
martin CapableOfmiss double-double 0.25