Assertion list for term "fail to close in case".

Results from Ascent++: 1
pda CapableOffail to close in case 0.31