Assertion list for term "internal error".
Results from Ascent++: 1
bug → Causes → internal error 0.16