Assertion list for term "left by rear exit".

Results from Ascent++: 1
flood CapableOfleft by rear exit 0.25