Assertion list for term "enter active state".

Results from Ascent++: 1
circuit CapableOfenter active state 0.26