Assertion list for term "generated by random bit pattern generator".
Results from Ascent++: 1
bit → ReceivesAction → generated by random bit pattern generator 0.30