Assertion list for term "double on 11".

Results from Ascent++: 1
gambler CapableOfdouble on 11 0.25