Use `streamShiftL` and `streamShiftR` instead of inlining their definitions
Use `streamShiftL` and `streamShiftR` instead of inlining their definitions

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script