Assertion list for term "scan in case".

Results from Ascent++: 1
signature CapableOfscan in case 0.22