Assertion list for term "of carving".

Results from Ascent++: 1
drawing IsAof carving 0.27