Assertion list for term "set in term".

Results from Ascent++: 1
condition CapableOfset in term 0.47