Assertion list for term "infinite loop".
Results from Ascent++: 1
bug → Causes → infinite loop 0.24