Assertion list for term "inputted to the bit shift operating section".
Results from Ascent++: 1
bit → ReceivesAction → inputted to the bit shift operating section 0.25