Assertion list for term "chain with a loop".

Results from Ascent++: 1
blind HasAchain with a loop 0.18