Assertion list for term "prove difficult to build".

Results from Ascent++: 1
mechanism CapableOfprove difficult to build 0.16