Assertion list for term "use gmp".

Results from Ascent++: 1
caution CapableOfuse gmp 0.30