Assertion list for term "associated with functional bits".

Results from Ascent++: 1
circuit ReceivesActionassociated with functional bits 0.25