Assertion list for term "point to empty case".

Results from Ascent++: 1
bishop CapableOfpoint to empty case 0.19