Assertion list for term "prove to be expensive".

Results from Ascent++: 1
solution CapableOfprove to be expensive 0.37