Assertion list for term "deadlock".
Results from Ascent++: 2
bug → Causes → deadlock 0.16
update → Causes → deadlock 0.16