Assertion list for term "require to bypass the flip-flop".

Results from Ascent++: 1
multiplexer CapableOfrequire to bypass the flip-flop 0.25