Assertion list for term "operate in second mode of operation".

Results from Ascent++: 1
circuit CapableOfoperate in second mode of operation 0.27