Assertion list for term "end of first switch element".

Results from Ascent++: 1
output CapableOfend of first switch element 0.34