Assertion list for term "remove dead branches".

Results from Ascent++: 1
pruning CapableOfremove dead branches 0.41