Assertion list
update (primary) → Causes
Results from Ascent++: 2
update → Causes → deadlock 0.16
update → Causes → timeout 0.16