Assertion list for term "encode equal number of bits".

Results from Ascent++: 1
phase CapableOfencode equal number of bits 0.37