Assertion list for term "optioned for b8zs".

Results from Ascent++: 1
circuit ReceivesActionoptioned for b8zs 0.25