Assertion list for term "come as double cd".

Results from Ascent++: 1
mix CapableOfcome as double cd 0.25