Assertion list for term "overflow with capacitor".

Results from Ascent++: 1
booth CapableOfoverflow with capacitor 0.25