Assertion list for term "tb".
Results from Ascent++: 1
bug → Causes → tb 0.23