Assertion list for term "configured to output corrected next state count value".
Results from Ascent++: 1
multiplexer → ReceivesAction → configured to output corrected next state count value 0.25