Assertion list for term "consist of four d flip-flops".

Results from Ascent++: 1
circuit CapableOfconsist of four d flip-flops 0.27