Assertion list for term "easy solution".

Results from Ascent++: 1
problem HasAeasy solution 0.49