Assertion list for term "reach the end of the wire".

Results from Ascent++: 1
wave CapableOfreach the end of the wire 0.25