Assertion list for term "start solving equation".

Results from Ascent++: 1
miner CapableOfstart solving equation 0.25