Assertion list for term "add a throw box".

Results from Ascent++: 1
fix CapableOfadd a throw box 0.27