Assertion list for term "eliminate a top-wire failure".

Results from Ascent++: 1
wire CapableOfeliminate a top-wire failure 0.16