Assertion list for term "getting rid of short circuit".

Results from Ascent++: 1
mix CapableOfgetting rid of short circuit 0.25