Assertion list for term "solid case".

Results from Ascent++: 1
watch HasAsolid case 0.37