Assertion list for term "empty the contents of the fibc".

Results from Ascent++: 1
outlet CapableOfempty the contents of the fibc 0.37