Assertion list for term "reach case".

Results from Ascent++: 1
remedy CapableOfreach case 0.16