Assertion list for term "run after flush".

Results from Ascent++: 1
toilet CapableOfrun after flush 0.18