Assertion list for term "show ideal case".

Results from Ascent++: 1
red line CapableOfshow ideal case 0.25