Assertion list for term "solve construction".

Results from Ascent++: 1
basic CapableOfsolve construction 0.25