Assertion list for term "take 2 bits".

Results from Ascent++: 1
adder CapableOftake 2 bits 0.25