Assertion list for term "set to 01".

Results from Ascent++: 1
bit ReceivesActionset to 01 0.27