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

Results from Ascent++: 1
circuit CapableOfoperate in first mode of operation 0.26