Assertion list for term "end in deadlock".

Results from Ascent++: 1
talk CapableOfend in deadlock 0.26