Assertion list for term "never has chance".

Results from Ascent++: 2
circuit CapableOfnever has chance 0.25
bull CapableOfnever has chance 0.16