Assertion list for term "create new problems".

Results from Ascent++: 1
solution CapableOfcreate new problems 0.27